O-THEORY—A HYBRID UNCERTAINTY THEORY

Decision Theory = Performance Measure Theory + Uncertainty Theory

The decision theory is defined typically as the combination of utility theory and probability theory. In this paper we generalize the decision theory as the performance measure theory and uncertainty theory. Intelligent agents look for approximate optimal decisions under bounded resources and uncertainty. The $-calculus process algebra for problem solving applies the cost performance measures t...

Hybrid I/O Automata

O-Minimal Hybrid Systems

A uni ed approach to decidability questions for veri cation algorithms of hybrid systems is obtained by the construction of a bisimulation. Bisimulations are nite state quotients whose reachability properties are equivalent to those of the original in nite state hybrid system. In this paper, we introduce the notion of o-minimal hybrid systems, which are initialized hybrid systems whose relevant...

Hybrid I/O Automata

Hybrid I/O Automata

Abs t r ac t . We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I /O automaton model of [12, 7] and the phase transition system models of [15, 2], allows communication among components using both shared variables and shared actions. The main contributions of this paper are: (1) the definition of h...